theorem prover nghĩa là gì

• Từ điển kỹ thuật
  Lĩnh vực: toán & tin

  • bộ chứng minh định lý

• theorem     ['θiərəm] danh từ (toán học) định lý theorem định lý t....
• prover     xem prove Từ điển kỹ thuật thiết bị thử Cụm từ ball prover flow...

• Like the Logic Theorist and Geometry Theorem Prover, McCarthy's program was designed to use knowledge to search for solutions to problems.
  Giống học thuyết logic và cách chứng minh các định lý hình học, chương trình của McCarthy được thiết kế nhằm sử dụng kiến thức để nghiên cứu cách giải quyết vấn đề.